From Modelica models to dependability analysis
نویسندگان
چکیده
منابع مشابه
From Modelica Models to Fault Diagnosis in Air Handling Units
This paper presents a methodology for model-based fault detection and diagnosis underpinned by modelica models and using a qualitative approach to diagnosis, which has been applied to diagnosis of an air handling unit based on data recorded by a building management system. The main steps from model development to component diagnosis are discussed and illustrated using a heating coil component.
متن کاملFrom Concurrency Models to Numbers - Performance and Dependability
Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this ...
متن کاملQualitative Reasoning with Modelica Models
Qualitative reasoning can play an important role in early stage design. Currently, engineers explore the design space using simulation models built in languages such as Modelica. To make qualitative reasoning useful to them, designs specified in their languages must be translated into a qualitative modeling language for analysis. The contribution of this paper is a sound and effective mapping b...
متن کاملIntegrated Debugging of Modelica Models
The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines class...
متن کاملProbabilistic Analysis and Design Optimization of Modelica Models
In this paper, the system simulation model is discussed from an engineering design perspective. Special emphasis will be given Modelica models, and it is exemplified how computational design methods operate on the simulation model in order to evaluate different concepts. Model based design optimization and probabilistic analysis are discussed as examples of such computational methods. An XML-ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.06.470